Downen, Paul: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A tutorial on computational classical logic and the sequent calculus

DOWNEN, PAUL, ARIOLA, ZENA M.

Journal:

Journal of Functional Programming

Year:

2018

Language:

english

File:

PDF, 1.65 MB

english, 2018

2

Abstracting models of strong normalization for classical calculi

Downen, Paul, Johnson-Freyd, Philip, Ariola, Zena M.

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2020

File:

PDF, 673 KB

2020

3

Delimited control and computational effects

DOWNEN, PAUL, ARIOLA, ZENA M.

Journal:

Journal of Functional Programming

Year:

2014

Language:

english

File:

PDF, 515 KB

english, 2014

4

[ACM Press the 16th International Symposium - Canterbury, United Kingdom (2014.09.08-2014.09.10)] Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming - PPDP '14 - Continuations, Processes, and Sharing

Downen, Paul, Maurer, Luke, Ariola, Zena M., Varacca, Daniele

Year:

2014

Language:

english

File:

PDF, 361 KB

english, 2014

5

[ACM Press the 19th ACM SIGPLAN international conference - Gothenburg, Sweden (2014.09.01-2014.09.06)] Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14 - Compositional semantics for composable continuations

Downen, Paul, Ariola, Zena M.

Year:

2014

Language:

english

File:

PDF, 651 KB

english, 2014

6

Spider leg flexure as an indicator for estimating salinity in lacustrine paleoenvironments

Downen, Matt R., Selden, Paul A., Hasiotis, Stephen T.

Journal:

Palaeogeography, Palaeoclimatology, Palaeoecology

Year:

2016

Language:

english

File:

PDF, 1.46 MB

english, 2016

7

Neuronal Nitric Oxide Synthase Expression in Developing and Adult Human CNS

Downen, Martha, Zhao, Meng Liang, Lee, Paul, Weidenheim, Karen M., Dickson, Dennis W., Lee, Sunhee C.

Journal:

Journal of Neuropathology and Experimental Neurology

Year:

1999

File:

PDF, 663 KB

1999

8

[ACM Press the 21st ACM SIGPLAN International Conference - Nara, Japan (2016.09.18-2016.09.24)] Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming - ICFP 2016 - Sequent calculus as a compiler intermediate language

Downen, Paul, Maurer, Luke, Ariola, Zena M., Peyton Jones, Simon

Year:

2016

Language:

english

File:

PDF, 545 KB

english, 2016

9

Call-by-name extensionality and confluence

JOHNSON-FREYD, PHILIP, DOWNEN, PAUL, ARIOLA, ZENA M.

Journal:

Journal of Functional Programming

Year:

2017

Language:

english

File:

PDF, 1.44 MB

english, 2017

10

[ACM Press the 38th ACM SIGPLAN Conference - Barcelona, Spain (2017.06.18-2017.06.23)] Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation - PLDI 2017 - Compiling without continuations

Maurer, Luke, Downen, Paul, Ariola, Zena M., Peyton Jones, Simon

Year:

2017

Language:

english

File:

PDF, 273 KB

english, 2017

11

Western Public Lands and the Fiscal Implications of a Transfer to States

Jakus, Paul M., Stambro, Jan E., Hogue, Michael, Downen, John, Pace, Levi, Grijalva, Therese C.

Journal:

Year:

2017

Language:

english

File:

PDF, 270 KB

english, 2017

12

The Duality of Classical Intersection and Union Types

Downen, Paul, Ariola, Zena M., Ghilezan, Silvia, Altenkirch, Thorsten, Schubert, Aleksy

Journal:

Fundamenta Informaticae

Year:

2019

File:

PDF, 486 KB

2019